#include <stdio.h>

main()
{
    int c, i, nwhite, nother;
    int ndigit[10];

    nwhite = nother = 0;
    for (i = 0; i < 10; ++i)
	ndigit[i] = 0;

    while ((c = getchar()) != EOF) 
	if (c >= '0' && c <= '9')
	    ++ndigit[c-'0'];
	else if (c == ' ' || c == '\n' || c == '\t')
	    ++nwhite;
	else
	    ++nother;
    
    printf("digits = ");
    for (i=0; i<10;++i)
	printf(" %d ", ndigit[i]);

    printf(", white space = %d, other = %d\n", nwhite, nother);
}
